Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Issue 481
haskellweekly.news·8h
🔗Functional Compilers
Python Fundamentals: case
dev.to·7h·
Discuss: DEV
✅Format Verification
Gradual negation types and the Python type system
jellezijlstra.github.io·13h·
Discuss: Hacker News
🔬Refinement Types
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·8h
🦀Rust Macros
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·16h
💻Programming languages
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·6h·
Discuss: Hacker News
🤝Distributed Consensus
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·3h·
Discuss: Hacker News
🔒WASM Capabilities
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·2d
🎯Gradual Typing
Almost Always Auto (2013)
herbsutter.com·10h·
Discuss: Hacker News
🔒Type Safety
A Wide Reduction Trick (2022)
words.filippo.io·17h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·5h
🔌Interface Evolution
Go interfaces and json.Unmarshal
fbrs.io·1d
🔧Binary Parsers
Row Polymorphic Programming
stranger.systems·3d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
All AI Models Might be The Same
blog.jxmo.io·2h·
Discuss: Hacker News
🧠Machine Learning
A Rust shaped hole
ente.io·3d
🦀Rust Macros
Agent DB
agentdb.dev·25m·
Discuss: Hacker News
🗄️Database Internals
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·17h·
Discuss: Hacker News
🔗Concatenative Programming
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·12h
📜Proof Carrying Code